#include "handler_library.c"
/*HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
 H


/*+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 +	System Call Library
 +
 +
 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/

// Operations

//Called by a user when requesting an IO operation. device_type tell you which device the io request is being made.
//For eg 'v' is for video_io
void io_system_call(char device_type)
{
	io_req_trap_handler(device_type);
}

//Called by a user, when trying to acquire a lock on the semaphore.
void sem_down_system_call();

//Called by a user, when releasing  a lock on the semaphore that it currently has.
void sem_up_system_call();

//Called by a user, when trying to write to memory.
void mem_write_system_call();

//Called by a user, when trying to read from memory.
void mem_read_system_call();
